Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ... 7857 (Lecture Notes in Computer Science)
by Armin Biere,Amir Nahir,Tanja Vos
ISBN 13: 9783642396106
Format: Paperback (296 pages) Publisher: Springer Published: 19 Jul 2013
Save for later